-
1 axiom
ˈæksɪəm сущ. аксиома, постулат to lay down an axiom ≈ сформулировать аксиому, выдвинуть постулат we accept the axiom that a straight line is the shortest distance between two points ≈ мы принимаем аксиому, гласящую, что кратчайшее расстояние между двумя точками есть прямая, их соединяющая Syn: principleаксиомаaxiom аксиома -
2 axiom
['æksɪəm]сущ.аксиома, постулатto lay down an axiom — сформулировать аксиому, выдвинуть постулат
We accept the axiom that a straight line is the shortest distance between two points. — Мы принимаем аксиому, гласящую, что кратчайшее расстояние между двумя точками есть прямая, их соединяющая.
Syn: -
3 lay down
1) уложить Lay the wounded soldier down carefully so as not to hurt him. ≈ Уложи раненого осторожно, так чтобы не повредить ему.
2) составить (план)
3) закладывать (здание, корабль) We shall have to lay down a new floor in the upstairs rooms. ≈ На верхнем этаже надо постелить новый пол.
4) сложить (полномочия и т. п.), оставить( службу) to lay down the duties of office ≈ отказаться от должности to lay down one's life ≈ отдать свою жизнь;
пожертвовать жизнью
5) устанавливать, утверждать to lay down the law ≈ устанавливать, формулировать закон;
говорить догматическим тоном;
заявлять безапелляционно
6) покрывать (in, into, under, with - чем-л.) ;
засеивать( травой, цветами и т. п.) This year we must lay the big field down to grass. ≈ В этом году надо посадить траву на большом поле.
7) платить;
ставить на что-л., кого-л. How much are you prepared to lay down that our team will win? ≈ Сколько ты поставишь на то, что мы выиграем? класть, положить - to lay the baby down into a crib уложить ребенка в кроватку (разговорное) провал, неудача( разговорное) (карточное) раскрытие карт (без разыгрывания), выкладывание карт на стол (при явно выигрышной руке) запасать и хранить( в погребе - вино и т. п.) отказываться( от должности и т. п.) оставлять (надежду и т. п.) платить за проигранное пари составлять( план, схему) закладывать (фундамент, корабль) устанавливать, утверждать - to lay it down as an axiom that... принять за аксиому, что... - to * as a principle поставить за правило - to * in an order( военное) указывать в приказе - to * the law устанавливать правовые нормы, формулировать закон;
(разговорное) говорить авторитетным тоном, заявлять безаппеляционно, не допускать возражений засадить( растениями) ;
засеять - to lay a field down in /with, under/ grass засеять поле травой прокладывать (кабель и т. п.) монтировать > to * one's fork and knife (сленг) умереть > to * one's life for one's country положить жизнь за родину > to * arm сложить оружие;
сдатьсяБольшой англо-русский и русско-английский словарь > lay down
-
4 lay down
[ʹleıʹdaʋn] phr v1. 1) класть, положить2) прост. = lie down2. запасать и хранить (в погребе - вино и т. п.)3. 1) отказываться (от должности и т. п.)2) оставлять (надежду и т. п.)4. платить за проигранное пари5. 1) составлять (план, схему)2) закладывать (здание, фундамент, корабль)6. устанавливать, утверждатьto lay it down as an axiom that... - принять за аксиому, что...
to lay down in an order - воен. указывать в приказе
to lay down the law - а) устанавливать правовые нормы, формулировать закон; б) разг. говорить авторитетным тоном, заявлять безапелляционно, не допускать возражений
7. засадить ( растениями); засеятьto lay a field down in /with, under/ grass - засеять поле травой
8. прокладывать (кабель и т. п.)9. монтировать♢
to lay down one's fork and knife - сл. умеретьto lay down arms - сложить оружие; сдаться
-
5 accept an axiom as primitive and therefore not subject to proof
Макаров: принимать аксиому без доказательстваУниверсальный англо-русский словарь > accept an axiom as primitive and therefore not subject to proof
-
6 lay down an axiom
Общая лексика: установить аксиому -
7 lay it down as an axiom that
Общая лексика: принять за аксиому, что (...)Универсальный англо-русский словарь > lay it down as an axiom that
-
8 lay it down as an axiom that...
Общая лексика: принять за аксиому, что...Универсальный англо-русский словарь > lay it down as an axiom that...
-
9 take as an axiom
1) Математика: принимать в качестве аксиомы, принимать что-то в качестве аксиомы, принимать за аксиому2) Макаров: (smth.) принимать в качестве аксиомы -
10 take as an axiom that
1) Математика: принимать в качестве аксиомы, принять как аксиому, что2) Макаров: (...) принимать в качестве аксиомы -
11 take for granted
1) Общая лексика: воспринимать как само собой разумеющееся, допускать, принимать как должное, счесть не требующим доказательства, считать доказанным, считать само собой разумеющимся, принимать ( что-л.) на веру, считать (что-л) обеспеченным, считать (что-л.) законным, считать дозволенным, считать доказанным, считать не требующим доказательств, считать само собой разумеющимся, считать само собой разумеющимся (не требующим доказательств), (твердо) надеяться на (что-л.), принимать без обсуждения, принимать безапелляционно, принимать за данность, принимать как данность, считать, что все (тебе) должны2) Математика: принимать без доказательства, само собой разуметься, считать не требующим доказательства, принять без доказательства (за аксиому)3) Психология: (smth.) считать (что-л.) само собой разумеющимся4) Патенты: принимать без доказательств5) Психоанализ: (smth) считать (что-л.) само собой разумеющимся6) Международное частное право: принимать без аргументации7) Макаров: надеяться (на что-л.), считать (что л.) не требующим доказательства, твёрдо надеяться (на что-л.) -
12 lay down an axiom
Language of the modern press. English-Russian Glossary of active vocabulary > lay down an axiom
-
13 lay\ down
1. III1) lag down smth., smb. /smth., smb. down/ lay down a volume (the basket, one's coat, one's hat, the wounded man, etc.) класть том и т. д.; lay down the pen and take up the sword отложить в сторону перо и взяться за меч; she laid herself down она легла /улеглась/2) lag down smth. /smth. down/ lay down a railway (a road, a canal, a gas pipe, a main, a cable, etc.) прокладывать железную дорогу и т. д.; lay down a plant (a ship, a battleship, etc.) закладывать завод и т. д., начинать строительство завода и т. д., lay down vegetables (melons, etc.) сажать овощи и т. д.; lay down a solid foundation закладывать прочный фундамент, закладывать прочную основу3) lag down smth. /smth. down/ lay down principles ( rules, limits, prices, etc.) устанавливать /утверждать/ принципы и т. д., lay down the law а) устанавливать /формулировать/ закон; б) говорить назидательным тоном, заявлять безапелляционно; don't lay down the law to me не командуй [мной]!, lay down conditions ставить условия; lay down a programme (a course of action, a general policy, a menu, etc.) разрабатывать / составлять/ программу и т. д.4) lay down smth. /smth. down/ lay down one's arms сдаваться, капитулировать; the enemy laid down their arms враг сложил оружие; lay down [an] office /the duties of office/ отказываться от должности; lay down power складывать полномочия; lay down hopes оставлять надежды; lay down one's life отдавать свою жизнь, жертвовать жизнью5) 1) lay down wine хранить /выдерживать/ вино в подвале /погребе/6) || lay down money ставить деньги (в карточной игре и т. п.)2. IVlay down smb., smth. in some manner she laid the baby (the vase, the book, etc.) down gently она осторожно положила /опустила/ ребенка и т. д.3. XIbe laid down on such case no general rule can be laid down для таких случаев нельзя сформулировать общее правило; be laid down in smth. one should act as laid down in the law следует действовать / поступать/ в соответствии с законом; as laid down in the foregoing paragraph как утверждается в предыдущем параграфе /абзаце/4. XXI11) lay down smth. in /to, with, under/ smth. lay down land (a field, a plot, etc.) in /to, with, under/ grass (wheat, etc.) засеивать землю и т. д. травой и т. д.2) lay down smth. /smth. down/ for smb. she endeavoured to lay down for herself a future course of action она пыталась наметить себе /определить для себя/ линию поведения на будущее3) lay down one's life for smth., smb. he laid down his life for a great cause он отдал свою жизнь за великое дело; I'd lay down my life for you я за вас готов жизнью пожертвовать5. XXIV1|| lay down smth. as a maxim формулировать что-л. как афоризм; we lay it down as an axiom that... мы принимаем за аксиому, что... -
14 money talks
expr infmlThere's no denying the fact that money talks — Не будете же вы отрицать ту аксиому, что деньги все могут?
She'll get her way "because money talks" — Все будет, как она хочет, потому что деньги - это все
-
15 lay down
1. phr v класть, положитьlay foundation — заложить фундамент; положить; начало
to lay bricks — класть кирпичи, делать кирпичную кладку
2. phr v запасать и хранитьlay in stocks — запасаться; запастись
lay up — запасать, откладывать, копить
3. phr v отказываться4. phr v оставлять5. phr v платить за проигранное париto lay a bet that … — держать пари, что …
6. phr v составлять7. phr v закладывать8. phr v устанавливать, утверждатьto lay it down as an axiom that … — принять за аксиому, что …
to lay eggs — сбрасывать бомбы; устанавливать мины
9. phr v засадить; засеять10. phr v прокладывать11. phr v монтироватьto lay down arms — сложить оружие; сдаться
Синонимический ряд:1. fix (verb) decree; dictate; fix; impose; ordain; set2. place (verb) deposit; drop; locate; place; precipitate; rest3. prescribe (verb) assign; define; prescribe4. put (verb) bet; gamble; game; play; post; put; stake; wager5. relinquish (verb) abandon; cede; forgo; give up; hand over; leave; relinquish; resign; surrender; waive; yield6. rested (verb) lay; reclined; reposed; rested; stretched out -
16 axiom
аксиома
Любое предложение с точным содержанием, утверждаемое в качестве такового авторитетным источником
[ ГОСТ 34.320-96]
аксиома
Предложение, принимаемое за истину без доказательств.
Аксиомы являются исходными предложениями различных теорий. К аксиомам предъявляются требования непротиворечивости, независимости и полноты. Примером аксиомы является утверждение: "через две точки можно провести только одну прямую" линию.
Нередко аксиомы являются отправными пунктами программирования, определяя то, что должно быть истинным. Аксиомы имеют опытное происхождение и являются основой доказательств многих других положений.
Аксиому также называют постулатом.
[ http://www.morepc.ru/dict/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > axiom
См. также в других словарях:
Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и у … Википедия
ZFC — Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело Френкеля (ZF) является стандартной системой аксиом для… … Википедия
ЛОГИЦИЗМ — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… … Философская энциклопедия
Пучок (математика) — У этого термина существуют и другие значения, см. Пучок. Пучки используются для установления отношений между локальными и глобальными данными. По этой причине они играют значительную роль в топологии, дифференциальной геометрии и алгебраической… … Википедия
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… … Математическая энциклопедия
Аксиома выбора — Аксиомой выбора называется следующее высказывание теории множеств: «Для каждого семейства непустых непересекающихся множеств существует (по меньшей мере одно) множество , которое имеет только один общий элемент c каждым из множеств данного… … Википедия
Лемма Цорна — Аксиомой выбора (Axiom of choice) называется следующее высказывание теории множеств: Аксиома выбора утверждает: «Для каждого семейства непустых непересекающихся множеств существует [по меньшей мере одно] множество , которое имеет только один… … Википедия
Система аксиом фон Неймана — Cистема аксиом фон Неймана Бернайса Гёделя (NBG, аксиоматика Гёделя Бернайса) в метаматематике одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело Френкеля с … Википедия
Лобачевский, Николай Иванович — родился 22 октября 1793 г. в Нижегородской губернии (по одному источнику в Нижнем Новгороде, по другому в Макарьевском уезде). Отец его Иван Максимович, выходец из Западного края, по вероисповеданию католик, потом перешедший в православную веру,… … Большая биографическая энциклопедия
Аксиоматика Гильберта — Аксиоматика Гильберта система аксиом евклидовой геометрии. Разработана Гильбертом как более полная, нежели система аксиом Евклида. Содержание 1 Неопределяемые понятия 2 Аксиомы … Википедия
отношение типа равенства — двухместное отношение R между предметами х и у области D (см.: Предметная область), удовлетворяющее следующим аксиомам (условиям): 1) аксиоме рефлексивности: xRx (предмет находится в отношении R к самому себе) (см.: Отношение рефлексивное); 2)… … Словарь терминов логики